Determinacy of Wadge classes in the Baire space and simple iteration of inductive definition
نویسنده
چکیده
In [4], we introduced determinacy schemata motivated by Wadge classes in descriptive set theory. In this paper, we prove that a simple iteration of Σ1 inductive definition implies Sep(∆ 0 2,Σ 0 2) determinacy in the Baire space over RCA0.
منابع مشابه
Antichains in the Wadge Order for Connected Spaces
For any non-totally disconnected Polish space, there is a family of c = 2א0 many Wadge incomparable finite level Borel subsets. If the space is additionally locally compact or locally connected, there is a family of 2 many Wadge incomparable subsets. In this note, we study the Wadge order for Polish spaces which are not totally disconnected. For a fixed Polish space, the Wadge order for the spa...
متن کاملWadge Hierarchy of differences of Co-analytic Sets
We begin the fine analysis of non Borel pointclasses. Working in ZFC + ̃ 11), we describe the Wadge hierarchy of the class of increasing differences of coanalytic subsets of the Baire space by extending results obtained by Louveau ([5]) for the Borel sets. Introduction. Collections of substets of the Baire space, the "logician’s reals", that are closed under continuous preimages have always been...
متن کاملDeterminacy of Wadge classes and subsystems of second order arithmetic
In this paper we study the logical strength of the determinacy of infinite binary games in terms of second order arithmetic. We define new determinacy schemata inspired by the Wadge classes of Polish spaces and show the following equivalences over the system RCA0, which consists of the axioms of discrete ordered semi-ring with exponentiation, ∆1 comprehension and Π 0 0 induction, and which is k...
متن کاملA note on Volterra and Baire spaces
In Proposition 2.6 in (G. Gruenhage, A. Lutzer, Baire and Volterra spaces, textit{Proc. Amer. Math. Soc.} {128} (2000), no. 10, 3115--3124) a condition that every point of $D$ is $G_delta$ in $X$ was overlooked. So we proved some conditions by which a Baire space is equivalent to a Volterra space. In this note we show that if $X$ is a monotonically normal $T_1...
متن کاملOn the Wadge reducibility of k-partitions
We establish some results on the Wadge degrees and on the Boolean hierarchy of k-partitions of some spaces, where k is a natural number. The main attention is paid to the Baire space, Baire domain and their close relatives. For the case of Δ2-measurable k-partitions the structures of Wadge degrees are characterized completely. For many degree structures, undecidability of the first-order theori...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009